Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
521	Type Checking and Inference for Polymorphic and Existential Types in Multiple-Quantifier and Type-Free Systems Koji Nakazawa∗ Makoto Tatsuta† Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-03 17:31:32 Mathematics Proof theory Lambda calculus Type theory Natural deduction Symbol Entailment System F Curry–Howard correspondence Logic Mathematical logic Deduction
522	Crowd-scale Interactive Formal Reasoning and Analytics Ethan Fast1 , Colleen Lee1 , Alex Aiken1 , Michael Bernstein1 , Daphne Koller1 , Eric Smith2 Stanford University1 , Kestrel Institute2 {ethan.fast, clee0, aiken, msb Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2013-07-11 01:52:09 Proof theory Automated theorem proving Mathematical logic Theorem Formal proof First-order logic LL parser Parsing Syntax Logic Logical syntax Formal languages
523	A concentration inequality for the overlap of a vector on a large set, with application to the communication complexity of the Gap-Hamming-Distance problem Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2012-08-28 19:20:30 Normal distribution Proof theory Measure theory Dyadic cubes Ordinal arithmetic Mathematical analysis Statistics Gaussian measure
524	Type Theory & Functional Programming Simon Thompson Computing Laboratory, University of Kent March 1999 Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2012-11-02 09:24:49 Theoretical computer science Logic in computer science Lambda calculus Proof theory Dependently typed programming Curry–Howard correspondence Intuitionistic type theory Combinatory logic Natural deduction Mathematics Mathematical logic Type theory
525	Verifiable Rotation of Homomorphic Encryptions ˇ Sebastiaan de Hoogh, Berry Schoenmakers, Boris Skori´ c, and Jos´e Villegas Dept. of Mathematics and Computer Science, TU Eindhoven P.O. Box 513, 5600 MB Eindhoven, The Add to Reading List Source URL: members.home.nl Language: English - Date: 2009-04-16 16:25:39 Fourier analysis Unitary operators Proof of knowledge Zero-knowledge proof NP IP Non-interactive zero-knowledge proof Homomorphic encryption Discrete Fourier transform Cryptography Cryptographic protocols Mathematical analysis
526	On “AI meets Formal Software Development” Alan Bundy   AI of the Gaps? Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:35 Automated theorem proving Mathematical logic Mathematical proof Proof Ontology Mathematics Logic Knowledge
527	Mathematical Writing by Donald E. Knuth, Tracy Larrabee, and Paul M. Roberts This report is based on a course of the same name given at Stanford University during autumn quarter, 1987. Here’s the catalog description: C Add to Reading List Source URL: web.cs.hacettepe.edu.tr Language: English - Date: 2014-08-23 07:46:03 Integer sequences Modal logic Non-classical logic Philosophical logic Comma Prime number Mathematical proof Logic Mathematics Mathematical logic
528	A classical ergodic property for IFS: A simple proof B. Forte1;2 , F. Mendivil2 1 Facolta di Scienze MM. FF. e NN. a Ca Vignal Add to Reading List Source URL: links.uwaterloo.ca Language: English - Date: 2007-07-23 21:51:05 Integration by substitution Fourier analysis Measure theory Mathematical series Asymptotic equipartition property Knaster–Tarski theorem Mathematical analysis Mathematics Ergodic theory
529	Microsoft Word - Wood_8.375x10.5_121814 Add to Reading List Source URL: www.woodmagazine.com Language: English - Date: 2014-06-17 14:58:33 Computer file formats Graphics file formats ISO standards Vector graphics PDF/X Bleed Mathematical proof Prepress Portable Document Format Printing Computing Computer graphics

UPDATE